Results for 'Ioannis M. Vandoulakis Petros Stefaneas'

999 found
Order:
  1.  24
    The Web as A Tool For Proving.Ioannis M. Vandoulakis Petros Stefaneas - 2012 - Metaphilosophy 43 (4):480-498.
    The Web may critically transform the way we understand the activity of proving. The Web as a collaborative medium allows the active participation of people with different backgrounds, interests, viewpoints, and styles. Mathematical formal proofs are inadequate for capturing Web‐based proofs. This article claims that Web provings can be studied as a particular type of Goguen's proof‐events. Web‐based proof‐events have a social component, communication medium, prover‐interpreter interaction, interpretation process, understanding and validation, historical component, and styles. To demonstrate its claim, the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  11
    On the Transformations of the Square of Opposition from the Point of View of Institution Model Theory.Ioannis M. Vandoulakis, Yiannis Kiouvrekis & Petros Stefaneas - 2022 - In Jean-Yves Beziau & Ioannis Vandoulakis (eds.), The Exoteric Square of Opposition. Birkhauser. pp. 277-302.
    In recent decades, research in the square of opposition has increased. New interpretations, extensions, and generalizations have been suggested, both Aristotelian and non-Aristotelian ones. The paper attempts to compare different versions of the square of opposition. For this reason, we appeal to the wider categorical model-theoretic framework of the theory of institutions.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. Modelling, Logical and Philosophical Aspects of Foundations of Science.Ioannis M. Vandoulakis & Petros Stefaneas (eds.) - 2016 - Lambert Academic Publishing.
    No categories
     
    Export citation  
     
    Bookmark  
  4. On Mathematical Proving.Ioannis M. Vandoulakis & Petros Stefaneas - 2015 - Journal of Artificial General Intelligence 6 (1):130–149.
    This paper outlines a logical representation of certain aspects of the process of mathematical proving that are important from the point of view of Artificial Intelligence. Our starting point is the concept of proof-event or proving, introduced by Goguen, instead of the traditional concept of mathematical proof. The reason behind this choice is that in contrast to the traditional static concept of mathematical proof, proof-events are understood as processes, which enables their use in Artificial Intelligence in such contexts in which (...)
     
    Export citation  
     
    Bookmark   2 citations  
  5. Proof-events in History of Mathematics.Ioannis M. Vandoulakis & Petros Stefaneas - 2013 - Ganita Bharati 35 (1-4):119-157.
    In this paper, we suggest the broader concept of proof-event, introduced by Joseph Goguen, as a fundamental methodological tool for studying proofs in history of mathematics. In this framework, proof is understood not as a purely syntactic object, but as a social process that involves at least two agents; this highlights the communicational aspect of proving. We claim that historians of mathematics essentially study proof-events in their research, since the mathematical proofs they face in the extant sources involve many informal (...)
     
    Export citation  
     
    Bookmark  
  6. Collective Discovery Events: Web-based Mathematical Problem-solving with Codelets.Ioannis M. Vandoulakis, Harry Foundalis, Maricarmen Martínez & Petros Stefaneas - 2014 - In Tarek R. Besold, Marco Schorlemmer & Alan Smaill (eds.), Computational Creativity Research: Towards Creative Machines. Springer, Atlantis Thinking Machines (Book 7), Atlantis. pp. 371-392.
    While collaboration has always played an important role in many cases of discovery and creation, recent developments such as the web facilitate and encourage collaboration at scales never seen before, even in areas such as mathematics, where contributions by single individuals have historically been the norm. This new scenario poses a challenge at the theoretical level, as it brings out the importance of various issues which, as of yet, have not been sufficiently central to the study of problem-solving, discovery, and (...)
     
    Export citation  
     
    Bookmark  
  7. Mathematical Proving as Multi-Agent Spatio-Temporal Activity.Ioannis M. Vandoulakis & Petros Stefaneas - 2016 - In Ioannis M. Vandoulakis & Petros Stefaneas (eds.), Modelling, Logical and Philosophical Aspects of Foundations of Science. Lambert Academic Publishing. pp. 183-200.
  8.  52
    The Web as A Tool For Proving.Petros Stefaneas & Ioannis M. Vandoulakis - 2012 - Metaphilosophy 43 (4):480-498.
    The Web may critically transform the way we understand the activity of proving. The Web as a collaborative medium allows the active participation of people with different backgrounds, interests, viewpoints, and styles. Mathematical formal proofs are inadequate for capturing Web-based proofs. This article claims that Web provings can be studied as a particular type of Goguen's proof-events. Web-based proof-events have a social component, communication medium, prover-interpreter interaction, interpretation process, understanding and validation, historical component, and styles. To demonstrate its claim, the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  37
    The Web as a Tool for Proving.Petros Stefaneas & Ioannis M. Vandoulakis - 2014 - In Harry Halpin & Alexandre Monnin (eds.), Philosophical Engineering: Toward a Philosophy of the Web. Wiley-Blackwell. pp. 149-167.
    This is the first interdisciplinary exploration of the philosophical foundations of the Web, a new area of inquiry that has important implications across a range of domains. - Contains twelve essays that bridge the fields of philosophy, cognitive science, and phenomenology. - Tackles questions such as the impact of Google on intelligence and epistemology, the philosophical status of digital objects, ethics on the Web, semantic and ontological changes caused by the Web, and the potential of the Web to serve as (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  12
    The Web as a Tool for Proving.Petros Stefaneas & Ioannis M. Vandoulakis - 2013-12-13 - In Harry Halpin & Alexandre Monnin (eds.), Philosophical Engineering. Wiley. pp. 149–167.
    The Web may critically transform the way we understand the activity of proving. The Web as a collaborative medium allows the active participation of people with different backgrounds, interests, viewpoints, and styles. Mathematical formal proofs are inadequate for capturing Web‐based proofs. This chapter claims that Web provings can be studied as a particular type of Goguen's proof‐events. Web‐based proof‐events have a social component, communication medium, prover‐interpreter interaction, interpretation process, understanding and validation, historical component, and styles. To demonstrate its claim, the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  34
    Proofs as Spatio-Temporal Processes.Petros Stefaneas & Ioannis M. Vandoulakis - 2014 - Philosophia Scientiae 18:111-125.
    The concept of proof can be studied from many different perspectives. Many types of proofs have been developed throughout history such as apodictic, dialectical, formal, constructive and non-constructive proofs, proofs by visualisation, assumption-based proofs, computer-generated proofs, etc. In this paper, we develop Goguen’s general concept of proof-events and the methodology of algebraic semiotics, in order to define the concept of mathematical style, which characterizes the proofs produced by different cultures, schools or scholars. In our view, style can be defined as (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  25
    Formalization of Mathematical Proof Practice Through an Argumentation-Based Model.Sofia Almpani, Petros Stefaneas & Ioannis Vandoulakis - 2023 - Axiomathes 33 (3):1-28.
    Proof requires a dialogue between agents to clarify obscure inference steps, fill gaps, or reveal implicit assumptions in a purported proof. Hence, argumentation is an integral component of the discovery process for mathematical proofs. This work presents how argumentation theories can be applied to describe specific informal features in the development of proof-events. The concept of proof-event was coined by Goguen who described mathematical proof as a public social event that takes place in space and time. This new meta-methodological concept (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  6
    Styles of Discourse.Ioannis Vandoulakis & Tatiana Denisova (eds.) - 2021 - Kraków: Instytut Filozofii, Uniwersytet Jagielloński w Krakowie.
    The volume starts with the paper of Lynn Maurice Ferguson Arnold, former Premier of South Australia and former Minister of Education of Australia, concerning the Exposition Internationale des Arts et Techniques dans la Vie Moderne (International Exposition of Art and Technology in Modern Life) that was held from 25 May to 25 November 1937 in Paris, France. The organization of the world exhibition had placed the Nazi German and the Soviet pavilions directly across from each other. Many papers are devoted (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  3
    On a Possible Relation Between Greek Mathematics and Eleatic Philosophy.Ioannis M. Vandoulakis - 2024 - In Jean- Timothy J. Madigan & Jean-Yves Beziau (eds.), Universal Logic, Ethics, and Truth. Birkhäuser. pp. 217-230.
    In this paper, we approach the problem of the relationship between Greek mathematics and Eleatic philosophy from a new perspective, which leads us to a reappraisal of Szabó’s hypothesis about the origin of mathematics out of Eleatic philosophy. We claim that Parmenidean philosophy, particularly its semantic core, has possibly been shaped by reflexion on the Pythagoreans’ mathematical practice, particularly in arithmetic. Furthermore, Pythagorean arithmetic originates not from another domain outside mathematics but from counting, i.e., it has its roots in man’s (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  57
    The Readings of Apollonius' On the Cutting off of a Ratio.Ioannis M. Vandoulakis - 2012 - Arabic Sciences and Philosophy 22 (1):137-149.
    ExtractDuring the second half of the twentieth century an attention of historians of mathematics shifted to mathematics of the Late Antiquity and its subsequent development by mathematicians of the Arabic world. Many critical editions of works of mathematicians of the Hellenistic era have made their appearance, giving rise to a new, more detailed historical picture. Among these are the critical editions of the works of Diophantus, Apollonius, Archimedes, Pappus, Diocles, and others.Send article to KindleTo send this article to your Kindle, (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  16.  40
    On A. A. Markov's Attitude towards Brouwer's Intuitionism.Ioannis M. Vandoulakis - 2015 - Philosophia Scientiae 19:143-158.
    The paper examines Andrei A. Markov’s critical attitude towards L.E.J. Brouwer’s intuitionism, as is expressed in his endnotes to the Russian translation of Heyting’s Intuitionism, published in Moscow in 1965. It is argued that Markov’s algorithmic approach was shaped under the impact of the mathematical style and values prevailing in the Petersburg mathematical school, which is characterized by the proclaimed primacy of applications and the search for rigor and effective solutions.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  32
    Was Euclid's Approach to Arithmetic Axiomatic?Ioannis M. Vandoulakis - 1998 - Oriens - Occidens 2:141-181.
    The lack of specific arithmetical axioms in Book VII has puzzled historians of mathematics. It is hardly possible in our view to ascribe to the Greeks a conscious undertaking to axiomatize arithmetic. The view that associates the beginnings of the axiomatization of arithmetic with the works of Grassman [1861], Dedekind [1888] and Peano [1889] seems to be more plausible. In this connection a number of interesting historical problems have been raised, for instance, why arithmetic was axiomatized so late. This question (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  56
    On the Historical Transformations of the Square of Opposition as Semiotic Object.Ioannis M. Vandoulakis & Tatiana Yu Denisova - 2020 - Logica Universalis 14 (1):7-26.
    In this paper, we would show how the logical object “square of opposition”, viewed as semiotic object, has been historically transformed since its appearance in Aristotle’s texts until the works of Vasiliev. These transformations were accompanied each time with a new understanding and interpretation of Aristotle’s original text and, in the last case, with a transformation of its geometric configuration. The initial textual codification of the theory of opposition in Aristotle’s works is transformed into a diagrammatic one, based on a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  15
    Self-reference and type distinctions in Greek philosophy and mathematics.Ioannis M. Vandoulakis - 2023 - In Jens Lemanski & Ingolf Max (eds.), Historia Logicae and its Modern Interpretation. London: College Publications. pp. 3-36.
    In this paper, we examine a fundamental problem that appears in Greek philosophy: the paradoxes of self-reference of the type of “Third Man” that appears first in Plato’s 'Parmenides', and is further discussed in Aristotle and the Peripatetic commentators and Proclus. We show that the various versions are analysed using different language, reflecting different understandings by Plato and the Platonists, such as Proclus, on the one hand, and the Peripatetics (Aristotle, Alexander, Eudemus), on the other hand. We show that the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  27
    A Genetic Interpretation of Neo-Pythagorean Arithmetic.Ioannis M. Vandoulakis - 2010 - Oriens - Occidens 7:113-154.
    The style of arithmetic in the treatises the Neo-Pythagorean authors is strikingly different from that of the "Elements". Namely, it is characterised by the absence of proof in the Euclidean sense and a specific genetic approach to the construction of arithmetic that we are going to describe in our paper. Lack of mathematical sophistication has led certain historians to consider this type of mathematics as a feature of decadence of mathematics in this period [Tannery 1887; Heath 1921]. The alleged absence (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  17
    On V.A. Yankov’s Contribution to the History of Foundations of Mathematics.Ioannis M. Vandoulakis - 2022 - In Alex Citkin & Ioannis M. Vandoulakis (eds.), V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics. Springer, Outstanding Contributions To Logic (volume 24). pp. 247-270.
    The paper examines Yankov’s contribution to the history of mathematical logic and the foundations of mathematics. It concerns the public communication of Markov’s critical attitude towards Brouwer’s intuitionistic mathematics from the point of view of his constructive mathematics and the commentary on A.S. Esenin-Vol’pin program of ultra-intuitionistic foundations of mathematics.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  14
    On V.A. Yankov’s Hypothesis of the Rise of Greek Mathematics.Ioannis M. Vandoulakis - 2022 - In Alex Citkin & Ioannis M. Vandoulakis (eds.), V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics. Springer, Outstanding Contributions To Logic (volume 24). pp. 295-310.
    The paper examines the main points of Yankov’s hypothesis on the rise of Greek mathematics. The novelty of Yankov’s interpretation is that the rise of mathematics is examined within the context of the rise of ontological theories of the early Greek philosophers, which mark the beginning of rational thinking, as understood in the Western tradition.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  11
    The Arbitrariness of the sign in Greek Mathematics.Ioannis M. Vandoulakis - 2019 - In Jean-Yves Beziau (ed.), The Arbitrariness of the Sign in Question. College Publications. pp. 379-397.
    This book is a collection of papers related to a workshop organized in Geneva in January 2017, part of a big event celebrating the centenary of Ferdinand de Saussure's famous "Cours de Linguistique Générale" (CLG). The topic of this workshop was THE FIRST PRINCIPLE, stated in the second section of the first part of the CLG entitled: THE ARBITRARINESS OF THE SIGN. -/- Discussions are developed according to the three perspectives presented in the call for papers: -/- (1) The details (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  24. The Square of Opposition: Past, Present, and Future.Ioannis M. Vandoulakis & Jean-Yves Beziau - 2022 - In Jean-Yves Beziau & Ioannis Vandoulakis (eds.), The Exoteric Square of Opposition. Birkhauser. pp. 1-14.
  25. On the Interpretations of the History of Diophantine Analysis: A Comparative Study of Alternate Perspectives.Ioannis M. Vandoulakis - 2018 - Ganita Bharati 40 (3):115-152.
    Essay Review of “Les Arithmétiques de Diophante. Lecture historique et mathématique” by Roshdi Rashed and Christian Houzel, and Histoire de l’analyse diophantienne classique : d’Abū Kamil à Fermat by Roshdi Rashed.
     
    Export citation  
     
    Bookmark  
  26.  73
    Plato’s Third Man Paradox: its Logic and History.Ioannis M. Vandoulakis - 2009 - Archives Internationale D’Histoire des Sciences 59 (162):3-52.
    In Plato’s Parmenides 132a-133b, the widely known Third Man Paradox is stated, which has special interest for the history of logical reasoning. It is important for philosophers because it is often thought to be a devastating argument to Plato’s theory of Forms. Some philosophers have even viewed Aristotle’s theory of predication and the categories as inspired by reflection on it [Owen 1966]. For the historians of logic it is attractive, because of the phenomenon of self-reference that involves. Bocheński denies any (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27. Symmetry: Art and Science.Ioannis M. Vandoulakis, Dénes Nagy, Ryuji Takaki, Ritsuko Izuhara, Shozo Ishihara & Yoshinori Teshima (eds.) - 2019 - Kanazawa: The International Society for the Interdisciplinary Study of Symmetry.
    Proceedings of the 11th Interdisciplinary Symmetry Congress-Festival of the International Society for the Interdisciplinary Study of Symmetry. Special Theme: “Tradition and Innovation in Symmetry - Katachi”.
     
    Export citation  
     
    Bookmark  
  28.  13
    V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics.Alex Citkin & Ioannis M. Vandoulakis (eds.) - 2022 - Springer, Outstanding Contributions To Logic (volume 24).
    This book is dedicated to V.A. Yankov’s seminal contributions to the theory of propositional logics. His papers, published in the 1960s, are highly cited even today. The Yankov characteristic formulas have become a very useful tool in propositional, modal and algebraic logic. The papers contributed to this book provide the new results on different generalizations and applications of characteristic formulas in propositional, modal and algebraic logics. In particular, an exposition of Yankov’s results and their applications in algebraic logic, the theory (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  24
    Proofs as Spatio-Temporal Processes.Petros Stefaneas & Vandoulakis - 2014 - Philosophia Scientiae 18:111-125.
    Le concept de preuve peut être étudié selon différentes perspectives. Beaucoup de types de preuves ont été développées à travers l’histoire, comme les preuves apodictiques, dialectiques, formelles, constructives et non-constructives, les preuves par la visualisation, les preuves basées sur des hypothèses, les preuves générées par ordinateur, etc. Dans cet article nous développons le concept général des preuves-événements de Goguen et la méthodologie de la sémiotique algébrique, afin de définir le concept de style mathématique, qui caractérise les preuves produites par des (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30.  4
    The Lady and the Loser: Arstodemos and Lynkeus on Love-Affairs of New Comedy Poets.Ioannis M. Konstantakos - 2006 - Hermes 134 (2):150-158.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  4
    Greek drama and mystery cults - (l.) barzini mystery cults, theatre and athenian politics. A reading of euripides’ bacchae and aristophanes’ frogs. Pp. XIV + 260, map. London and new York: Bloomsbury academic, 2021. Cased, £85, us$115. Isbn: 978-1-350-18732-0. [REVIEW]Ioannis M. Konstantakos - 2022 - The Classical Review 72 (2):428-430.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  29
    †D. Parker (trans.) Aristophanes and Menander. Three Comedies: Peace, Money, the God, Samia. Edited with Introductions and Notes by Timothy J. Moore. Pp. xiv + 230, figs. Indianapolis and Cambridge: Hackett Publishing Company, Inc, 2014. Paper, £13.50, US$16 (Cased, £40, US$48). ISBN: 978-1-62466-185-3 (978-1-62466-186-0 hbk). [REVIEW]Ioannis M. Konstantakos - 2017 - The Classical Review 67 (1):306-307.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33. Syntax, Semantics and the Formalisation of Social Science Theories.Petros Stefaneas, Mark Addis & Maria Dimarogkona - 2019 - In Mark Addis, Fernand Gobet & Peter Sozou (eds.), Scientific Discovery in the Social Sciences. Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  34.  15
    Ambiguity in Argumentation: The Impact of Contextual Factors on Semantic Interpretation.Petros Stefaneas & Dimitra Serakioti - 2022 - Studia Humana 11 (3-4):18-24.
    This article is concerned with the concept of ambiguity in argumentation. Ambiguity in linguistics lies on the coexistence of two possibly interpretations of an utterance, while the role of contextual factors and background/encyclopedic knowledge within a specific society seems to be crucial. From a systemic point of view, Halliday has proposed three main language functions (meta-functions): a) ideational function, b) interpersonal function, c) textual function. Language could reflect speaker’s experience of his external and internal world, interpersonal relationships and organization of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  5
    Про дотримання принципу відокремлення школи від церкви.Mykhailo Babiy, Anatolii M. Kolodnyi & Petro Yarotskiy - 2005 - Ukrainian Religious Studies 36:140-147.
    For several years, in some regions of Ukraine, attempts have been made to clericalise educational institutions, transfer them to a comprehensive school, and in some places - to higher educational institutions, an atmosphere of interfaith rivalry, inter-church confrontation, imposing not only a religious worldview on the one or our religion Moscow, or the Kyivan Patriarchate) or the Roman Catholic or Greek Catholic Church, but also certain socio-political and ideological-spiritual orientations and norms of behavior, which, in the first place, znachayetsya the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  23
    New religious currents and cults in modern Ukraine.Mykhailo Babiy, O. Karagodina, Anatolii M. Kolodnyi, Petro Kosuha & Liudmyla O. Fylypovych - 1996 - Ukrainian Religious Studies 1:17-23.
    In the context of modern world religious processes, in recent years Ukraine has become a field of active attention from various non-traditional and up-to-date religious movements. According to the State Committee of Ukraine for Religious Affairs, as of January 1, 1995, there were registered 147 non-Christian communities, 52 communities of Orientalist orientation, 23 communities of the Russian Federation, etc., registered in Ukraine. And although in the confessional environment of Ukraine, the fate of such currents is negligible, but their activities can (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  37.  20
    Protocol‐guided management of paediatric peri‐orbital cellulitis: an audit of multidisciplinary care.Maria Tsimpida, Daniel M. Gore, Petros Petrou & M. Ashwin Reddy - 2011 - Journal of Evaluation in Clinical Practice 17 (3):503-506.
  38.  58
    The Exoteric Square of Opposition.Jean-Yves Beziau & Ioannis Vandoulakis (eds.) - 2022 - Birkhauser.
    The theory of the square of opposition has been studied for over 2,000 years and has seen a resurgence in new theories and research since the second half of the twentieth century. This volume collects papers presented at the Sixth World Congress on the Square of Opposition, held in Crete in 2018, developing an interdisciplinary exploration of the theory. Chapter authors explore subjects such as Aristotle’s ontological square, logical oppositions in Avicenna’s hypothetical logic, and the power of the square of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  9
    Consciousness reframed: Art and consciousness in the post-biological era.Christina Mamakos & Petros Stefaneas - 2016 - Technoetic Arts 14 (3):169-176.
    The senses convey impressions, perceptions and ultimately feelings, from which meaning emerges, revealing a platform where perception and thinking are actually very closely involved. From this perspective, the distance between descriptive, mental (cognitive) meaning and emotive, affective (non-cognitive) meaning shrinks, creating a platform to investigate how meaning is generated by posing the question ‘how does meaning actually make sense?’. This project investigates meaning as derived from the physical nature of our brains, our bodies and our physical experiences. We construct a (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  7
    Argumentation-Based Logic for Ethical Decision Making.Panayiotis Frangos, Petros Stefaneas & Sofia Almpani - 2022 - Studia Humana 11 (3-4):46-52.
    As automation in artificial intelligence is increasing, we will need to automate a growing amount of ethical decision making. However, ethical decision- making raises novel challenges for engineers, ethicists and policymakers, who will have to explore new ways to realize this task. The presented work focuses on the development and formalization of models that aim at ensuring a correct ethical behaviour of artificial intelligent agents, in a provable way, extending and implementing a logic-based proving calculus that is based on argumentation (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  17
    Bridging Informal Reasoning and Formal Proving: The Role of Argumentation in Proof-Events.Sofia Almpani & Petros Stefaneas - forthcoming - Foundations of Science:1-25.
    This paper explores the relationship between informal reasoning, creativity in mathematics, and problem solving. It underscores the importance of environments that promote interaction, hypothesis generation, examination, refutation, derivation of new solutions, drawing conclusions, and reasoning with others, as key factors in enhancing mathematical creativity. Drawing on argumentation logic, the paper proposes a novel approach to uncover specific characteristics in the development of formalized proving using “proof-events.” Argumentation logic can offer reasoning mechanisms that facilitate these environments. This paper proposes how argumentation (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42. Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach.Nicola Angius & Petros Stefaneas - 2016 - In Vincent C. Müller (ed.), Computing and philosophy: Selected papers from IACAP 2014. Cham: Springer. pp. 99-115.
    This paper is concerned with the construction of theories of software systems yielding adequate predictions of their target systems’ computations. It is first argued that mathematical theories of programs are not able to provide predictions that are consistent with observed executions. Empirical theories of software systems are here introduced semantically, in terms of a hierarchy of computational models that are supplied by formal methods and testing techniques in computer science. Both deductive top-down and inductive bottom-up approaches in the discovery of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  9
    Proof-events: transgressing traditional concepts of mathematical proof.Ioannis Vandoulakis - 2020 - In Barbara Pieronkiewicz (ed.), Different perspectives on transgressions in mathematics and its education. Wydawnictwo Naukowe Uniwersytetu Pedagogicznego Kraków. pp. 93-104.
    In this paper, we explore certain exemplifications of transgression in the history and philosophy of mathematics. We recognize transgressive acts in the transition from a “real” to an “imaginary” world. Further, we suggest the concept of proof-events that transgress traditional concepts of mathematical proof. The theory of proof-events provides us with means to identify transgressive acts in the development of a discovery proof-event. These concern the creative understanding of a purported mathematical proof by reconstructing the meaning conveyed by it, eventually (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. Autonomous learning and skill accreditation: a paradigm for medical studies.Dionysios Politis, Petros Stagiopoulos, Sophia Aidona, Georgios Kyriafinis & Ioannis Constantinidis - 2018 - In A. V. Senthil Kumar (ed.), Optimizing student engagement in online learning environments. Hershey, PA: Information Science Reference.
     
    Export citation  
     
    Bookmark  
  45.  37
    Criteria and evaluation of cognitive theories.Petros A. M. Gelepithis - 2003 - Behavioral and Brain Sciences 26 (5):607-609.
    I have three types of interrelated comments. First, on the choice of the proposed criteria, I argue against any list and for a system of criteria. Second, on grading, I suggest modifications with respect to consciousness and development. Finally, on the choice of “theories” for evaluation, I argue for Edelman's theory of neuronal group selection instead of connectionism (classical or not).
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  78
    A Novel Theory of Consciousness.Petros A. M. Gelepithis - 2014 - International Journal of Machine Consciousness 6 (2):125-139.
    I propose a physicalist theory of consciousness that is an extension of the theory of noémona species. The proposed theory covers the full consciousness spectrum from animal to machine and its huma...
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  47.  8
    On the approximability of Dodgson and Young elections.Ioannis Caragiannis, Jason A. Covey, Michal Feldman, Christopher M. Homan, Christos Kaklamanis, Nikos Karanikolas, Ariel D. Procaccia & Jeffrey S. Rosenschein - 2012 - Artificial Intelligence 187-188 (C):31-51.
  48.  79
    AI and human society.Petros A. M. Gelepithis - 1999 - AI and Society 13 (3):312-321.
    This paper considers the impact of the AI R&D programme on human society and the individual human being on the assumption that a full realisation of the engineering objective of AI, namely, construction of human-level, domain-independent intelligent entities, is possible. Our assumption is essentially identical tothe maximum progress scenario of the Office of Technology Assessment, US Congress.Specifically, the first section introduces some of the significant issues on the relational nexus among work, education and the human-machine boundary. In particular, based on (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  49.  9
    Auditory discrimination learning in chicks after exposure to auditory and visual stimuli.M. Sosenko Petro, P. J. Capretta & A. J. Cooper - 1978 - Bulletin of the Psychonomic Society 12 (5):385-386.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  9
    Measurement Invariance and Differential Item Functioning Across Gender Within a Latent Class Analysis Framework: Evidence From a High-Stakes Test for University Admission in Saudi Arabia.Ioannis Tsaousis, Georgios D. Sideridis & Hanan M. AlGhamdi - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 999